61. A Logical Analysis of Relational Program Correctness
پدیدآورنده: Nikouei, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science
62. ACM Turing Award lectures :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
رده :
QA76
.
24
.
A33
1987
63. Adaptive Resonance Theory Microchips
پدیدآورنده: by Teresa Serrano-Gotarredona, Bernabé Linares-Barranco, Andreas G. Andreou.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Engineering.,Logic, Symbolic and mathematical.
64. Advanced Boolean techniques :
پدیدآورنده: editors, Rolf Drechsler and Mathias Soeken.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Boolean, Congresses.,Algebra, Boolean.
رده :
QA10
.
3
.
I58
2018eb
65. Advanced topics in artificial intelligence :
پدیدآورنده: Norman Foo, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Apprentissage automatique.,intelligence artificielle -- congrès.,Intelligence artificielle -- Congrès.
66. Advances in Computer Systems Architecture (vol. # 3740) :
پدیدآورنده: edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Data transmission systems.
67. Advances in Computing, Communication, and Control :
پدیدآورنده: edited by Srija Unnikrishnan, Sunil Surve, Deepak Bhoir.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Computer software.
رده :
QA75
.
5
E358
2013
68. Advances in Petri Nets 1989
پدیدآورنده: by Grzegorz Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Computer software.
رده :
QA267
.
B947
1990
69. Advances in computational intelligence :
پدیدآورنده: Ildar Batyrshin, María de Lourdes Martínez-Villaseñor, Hiram Eredín Ponce Espinosa (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Soft computing, Congresses.,Artificial intelligence.,Soft computing.
رده :
QA76
.
9
.
S63
70. Advances in information systems science. Volume 3
پدیدآورنده: edited by Julius T. Tou.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information science.,Information technology.
71. Algebraic Foundations of Systems Specification
پدیدآورنده: edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
72. Algebraic Methodology and Software Technology :
پدیدآورنده: edited by Charles Rattray, Savitri Maharaj, Carron Shankland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
73. Algebraic and Algorithmic Aspects of Differential and Integral Operators :
پدیدآورنده: edited by Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
L63
E358
2014
74. Algebraic foundations in computer science :
پدیدآورنده: edited by Werner Kuich, George Rahonis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
75. Algorithmic learning theory :
پدیدآورنده: Jyrki Kivinen [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Congresses,Machine learning, Congresses,Artificial intelligence-- Congresses,Computer algorithms-- Congresses
رده :
QA76
.
9
.
A43
A48
2011
76. Ambient communications and computer systems :
پدیدآورنده: Gregorio Martinez Perez, Shailesh Tiwari, Munesh C. Trivedi, Krishn K. Mishra, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Ambient intelligence, Congresses.,Computer networks, Congresses.,Telecommunication systems, Congresses.,Ambient intelligence.,Computer networks.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication systems.
رده :
TK5101
.
A1
78. Analysis and Design of Information Systems
پدیدآورنده: by Arthur M. Langer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
B937
2001
79. App inventor for Android
پدیدآورنده: / Jason Tyler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Android (Electronic resource), Amateurs' manuals,Application software, Development, Amateurs' manuals,Smartphones, Programming, Amateurs' manuals,Open source software, Amateurs' manuals,Mobile computing, Amateurs' manuals
رده :
QA76
.
76
.
A65
,
T95
2011
80. Applications of continuous mathematics to computer science /
پدیدآورنده: by Hung T. Nguyen, Vladik Kreinovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik
رده :
QA76
.
9
.
M35
N49
1997
